Logical Representations in Drafting and CAD Systems
نویسندگان
چکیده
In this paper we present a logical language for representing and reasoning about drawings in the context of interactive computer graphics. We discuss the motivation for this kind of representation in graphics systems and its applications to geometric reasoning and constraint satisfaction. A formal deenition of the language and its interpretation process is presented and illustrated. The theoretical machinery is then applied to modelling constraint-based drafting tasks. An application in which constraint satisfaction problems are expressed through the language in the course of interactive sesssions, and solved through symbolic inference, is presented and discussed. Finally, we discuss the functional architecture of a drafting system based on logical representations.
منابع مشابه
ساختار دهی آنی دادههای مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملSynthesis of Solid Models of Polyhedra from their Orthogonal Views using Logical Representations
In this paper a representational language of a logical kind which is expressive enough to model concepts of descriptive geometry is presented. The language is employed to produce solid models of polyhedra from representations of their orthogonal projections. The synthetic process has as its input well-formed expressions representing the geometrical entities and relations of bidimensional orthog...
متن کاملThe importance of drawing in the mechanical design process
-This paper is a study on the importance of drawing ( both formal drafting and informal sketching) during the process of mechanical design. Five hypotheses, focused on the t~es of drawings, their necessity in mechanical problem solving, and their relation to the external representation medium, are presented and supported. Support is through referenced studies in other domains and the results of...
متن کاملAn Overview of Computer Aided Design/Computer Aided Manufacturing (CAD/CAM) in Restorative Dentistry
Objective: To review the current knowledge of CAD/CAM in dentistry and its development in the mentioned field. Sources: An electronic search was conducted across Ovid Medline, complemented by manual search across individual databases, such as Cochrane, Medline and ISI Web of Science databases and Google Scholar for literature analysis on the mentioned topic. The studies were reviewed thoroughly...
متن کاملLogic-Based Tools for Legal Contract Drafting: prospects and problems
Much of the research in the Artificial Intelligence and Law community has been concerned with the representation of legislation and regulations with a view to provide advisory systems for policy makers, legal practitioners and the general public. A considerable amount of research in Artificial Intelligence and Law focused on logic-based representations of legislation and regulations (for a comp...
متن کامل